:: (a -> IO b) -> DirTree a -> IO (DirTree b) -package:ghc package:rio

traverse :: (Traversable t, Applicative f) => (a -> f b) -> t a -> f (t b)
rio RIO.Prelude
Map each element of a structure to an action, evaluate these actions from left to right, and collect the results. For a version that ignores the results see traverse_.
mapM :: (Traversable t, Monad m) => (a -> m b) -> t a -> m (t b)
rio RIO.Prelude
Map each element of a structure to a monadic action, evaluate these actions from left to right, and collect the results. For a version that ignores the results see mapM_.
mapM :: (Monad m, Vector v a, Vector v b) => (a -> m b) -> v a -> m (v b)
rio RIO.Vector
O(n) Apply the monadic action to all elements of the vector, yielding a vector of results
forM :: (Traversable t, Monad m) => t a -> (a -> m b) -> m (t b)
rio RIO.Prelude
forM is mapM with its arguments flipped. For a version that ignores the results see forM_.